Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
211	Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Computer arithmetic Functional languages Racket Floating point Computing Software engineering Computer programming
212	anes2000to2004merged_var.txt - Notepad Add to Reading List Source URL: www.electionstudies.org Language: English - Date: 2011-08-25 17:44:03 NaN E-book Publishing Media technology Computing Computer arithmetic American National Election Studies Psephology
213	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
214	C:/Dokumente und Einstellungen/ulrich/Desktop/Kulisch/SelectedPublications.dvi Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-15 10:20:26 Numerical analysis Computer arithmetic Arithmetic Interval arithmetic Pascal-XSC Pascal Konrad Zuse Ring Computing Software engineering Mathematics
215	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
216	A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:40:24 Data types Computer arithmetic Primitive types Type theory Software bugs Integer overflow C Type system Bitwise operation Computing Software engineering Computer programming
217	#kulisch_GSTM33:39 Uhr Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-14 09:57:57 Mathematics Numbers Arithmetic Interval arithmetic Theoretical computer science Floating point Computer arithmetic Data types Numerical analysis
218	Preprocessed Input Data Description SPOT4 The Satellite Pour l’Observation de la Terre 4 (SPOT4) is a high resolution polar orbital satellite which worked for surface reflectance data from 1998 throughThis satel Add to Reading List Source URL: measures.arizona.edu Language: English - Date: 2011-03-06 18:05:36 Moderate-Resolution Imaging Spectroradiometer Earth Advanced Very High Resolution Radiometer Signedness Normalized Difference Vegetation Index Spaceflight Reflectivity Scale factor Computing Computer arithmetic Data types Remote sensing
219	Virtual Machine Part I: Stack Arithmetic Building a Modern Computer From First Principles www.nand2tetris.org Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2013-04-21 11:58:21
220	lecture 02 Boolean arithmetic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:08 Mathematics Binary logic Elementary arithmetic Adders Computer Addition Arithmetic Computer arithmetic Numbers

UPDATE